41. Formal development of programs and proofs
پدیدآورنده: edited by Edsger W. Dijkstra
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Electronic digital computers- Programming- Congresses
رده :
QA
76
.
6
.
F657
1990
42. Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
6
.
F66
43. Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings
پدیدآورنده: edited by J. Diaz and I. Ramos
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
107
44. Foundations of software technology and theoretical computer science : Eighth Conference, Pune, India. December 21-23, 1988 : Proceedings
پدیدآورنده: K.V. Nori, S. Kumar )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software,Programming -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
338
45. Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Functional programming )Computer science(-- Congresses,، Parallel programming )Computer science(-- Congresses,، Automatic theorem proving-- Congresses,، Computer simulation-- Congresses
رده :
QA
76
.
6
.
F853
1993
46. Fundamental algorithms for computer graphics
پدیدآورنده: NATO Advanced Study Institute on Fundamental Algorithms for Computer Graphics )5891 : Ilkley, West Yorkshire(
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Electronic digital computers- Programming- Congresses,، Computer algorithms- Congresses,، Computer graphics- Congresses
رده :
QA
76
.
6
.
N379
1985
47. Fundamental algorithms for computer graphics
پدیدآورنده: NATO Advanced Study Institute on Fundamental Algorithms for Computer Graphics, )5891, Ilkley, West Yorkshire(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Computer algorithms-- Congresses,، Computer graphics-- Congresses
رده :
QA
76
.
6
.
N379
1985
48. GI-NTG Fachtagung struktur und Betrieb von Recheusystemen, Braunschweig 20-22. 3. 1974 im Auftrag der GI und der NTG
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Electronic digital computers-- Evaluation-- Congresses
رده :
QA
76
.
6
.
G18
1974
49. GI-NTG : fachtagung struktur und betrieb von Rechensystemen : Braunschweig, 20-22, 3, 1974
پدیدآورنده: Herausgegeben in Auftrag der GI und der NTG von H.-O. Leilich
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Evaluations -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
8
50. Hardware description languages and their applications: specification, modelling, verification and synthesis of microelectronic systems: IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20-25 April 1997, Toledo, Spain
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Design and construction-- Data processing-- Congresses,، Digital electronics-- Data processing-- Congresses,، Programming language )Electronic computers(-- Congresses
رده :
TK
7888
.
3
.
I57
1997
51. How to make computers easier to use : digest of papers
پدیدآورنده: Compcon, )11th, 5791, Washington, D.C.(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Computer engineering-- Congresses
رده :
QA
76
.
6
.
C6276
1975
52. Intelligent and congnitive systems: Proceedings of the International Conference on Intelligent Systems Research Faculty, September 23-26, 1996, Tehran, Ira
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Cognition-- Mathematical models-- Congresses,، Cognition-- Data processing-- Congresses,، Cognition science-- Congresses,، Electronic digital computers-- Programming-- Congresses
رده :
BF
311
.
I5664
1996
53. International Symposium on Programming : proceedings of the fourth Colloque international sur la programmation, Paris, 22-24 April 1980
پدیدآورنده: International Symposium on Programming, 4th, 0891, Paris
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
6
.
I575
1980
54. International Symposium on Programming : proceedings of the fourth Colloque international sur la programmation, Paris, 22-24 April 1980
پدیدآورنده: edited by B. Robinet
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
83
55. International Symposium on Programming : proceedings, 5th colloquium, Turin, April 6-8, 1982
پدیدآورنده: International Symposium on Programming, )5th, 2891, Turin, Italy(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
6
.
I575
1982
56. International Symposium on Programming : 6th colloquium, Toulouse, April 17-19, 1984 : proceedings
پدیدآورنده: International Symposium on Programming, )6th, 4891, Toulouse, France(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
6
.
I575
1984
57. International Symposium on Programming : 6th colloquium, Toulouse, April 17-19, 1984 : proceedings
پدیدآورنده: edited by M. Paul and B. Robinet
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
167
58. Knowledge-Based software engineering
پدیدآورنده: Proceedings of the Joint conference on Knowledge-Based software engineering in smolenice)3rd,Slovania,8991(
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Electronic digital computers-programming-Congresses,، Software engineering-Congresses,، Programming-Congresses)Electronic computers(-Congresses
رده :
QA
76
.
6
.
P76
1998
59. Language design and programming methodology : proceedings of a symposium held at Sydney, Australia, 10-11 September 1979
پدیدآورنده: edited by Jeffrey M. Tobias
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Programming languages )Electronic computers(,Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
79
60. Language hierarchies and interfaces : international summer school
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
6
.
L335
